Gröbner Bases for Non - Homogeneous Ideals in R 0 Jan
نویسنده
چکیده
We extend the Gröbner basis theory developed in [10, 11] to certain non-homogeneous, locally filtered finitely generated ideals in R0 , and to certain admissible orders. The main tool used is the study of two homogeneous ideals that may be associated to an ideal I R0 , namely the ideal grT (I) generated by all homogenous components of maximal degree of elements in I , and the “homogenized” ideal h (I) R0 [z].
منابع مشابه
Some Results on dh-Closed Homogeneous Gröbner Bases and dh-Closed Graded Ideals
Let K be a field and R = ⊕p∈NRp an N-graded K-algebra, which has an SM K-basis (i.e. a skew multiplicative K-basis) such that R holds a Gröbner basis theory. It is proved that there is a one-to-one correspondence between the set of Gröbner bases in R and the set of dh-closed homogeneous Gröbner bases in the polynomial algebra R[t]; and that the similar result holds true if R and R[t] are replac...
متن کاملComputing Tropical Varieties over Fields with Valuation
We show how tropical varieties of ideals I E K[x] over a field K with non-trivial valuation can always be traced back to tropical varieties of ideals π−1I E RJtK[x] over some dense subring R in its ring of integers. Moreover, for homogeneous ideals, we present algorithms on how the latter can be computed in finite time, provided that π−1I is generated by elements in R[t, x]. While doing so, we ...
متن کاملFlat families by strongly stable ideals and a generalization of Gröbner bases
Let J be a strongly stable monomial ideal in S = K[x1, . . . , xn] and let Mf(J) be the family of all homogeneous ideals I in S such that the set of all terms outside J is a K-vector basis of the quotient S/I. We show that an ideal I belongs toMf(J) if and only if it is generated by a special set of polynomials, the J-marked basis of I, that in some sense generalizes the notion of reduced Gröbn...
متن کاملParallelization of Modular Algorithms
In this paper we investigate the parallelization of two modular algorithms. In fact, we consider the modular computation of Gröbner bases (resp. standard bases) and the modular computation of the associated primes of a zero–dimensional ideal and describe their parallel implementation in Singular. Our modular algorithms to solve problems over Q mainly consist of three parts, solving the problem ...
متن کاملReading course report , on the book Ideals , Varieties and Algorithms
This report gives an overview of the main ideas in Chapter 9 of the studied book, about the dimension of a variety. After recalling some definitions and basic properties about projective varieties, homogeneous ideals and Gröbner bases, we will begin our study of the dimension of a variety with the observation of a geometric way to define the dimension of a variety defined by a monomial ideal. T...
متن کامل